structure S =
struct
  datatype option = datatype option
end
